扫一扫
关注中图网
官方微博
>
关于“刘志明，裘宗燕”检索到 共1种现货商品
-
数理逻辑引论——计算机科学与系统的天然基础
¥126.0(7.5折)定价:¥168.0本书的内容包括8章，讨论了命题演算和一阶谓词演算的希尔伯特公理系统，包括命题演算和谓词演算系统中逻辑语言的语法定义，形式推演证明系统的建立，逻辑语言的语义定义，以及两个形式系统的元理论，主要是有效性和接近性的定义和证明。以此揭示任何形式系统的组成部分、构建方法、需要研究处理的主要问题、方法和技术。还介绍了如何基于形式逻辑建立各种形式化数学系统，帮助读者理解数理逻辑和数学系统的关系。最后介绍了图灵机的定义，并且讨论了如何图灵机的状态转移
